Optimal. Leaf size=175 \[ \frac{b^2 (e+f x)^{n+1} \, _2F_1\left (1,n+1;n+2;\frac{b (e+f x)}{b e-a f}\right )}{a (n+1) (b c-a d) (b e-a f)}-\frac{d^2 (e+f x)^{n+1} \, _2F_1\left (1,n+1;n+2;\frac{d (e+f x)}{d e-c f}\right )}{c (n+1) (b c-a d) (d e-c f)}-\frac{(e+f x)^{n+1} \, _2F_1\left (1,n+1;n+2;\frac{f x}{e}+1\right )}{a c e (n+1)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.119487, antiderivative size = 175, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 3, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.12, Rules used = {180, 65, 68} \[ \frac{b^2 (e+f x)^{n+1} \, _2F_1\left (1,n+1;n+2;\frac{b (e+f x)}{b e-a f}\right )}{a (n+1) (b c-a d) (b e-a f)}-\frac{d^2 (e+f x)^{n+1} \, _2F_1\left (1,n+1;n+2;\frac{d (e+f x)}{d e-c f}\right )}{c (n+1) (b c-a d) (d e-c f)}-\frac{(e+f x)^{n+1} \, _2F_1\left (1,n+1;n+2;\frac{f x}{e}+1\right )}{a c e (n+1)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 180
Rule 65
Rule 68
Rubi steps
\begin{align*} \int \frac{(e+f x)^n}{x (a+b x) (c+d x)} \, dx &=\int \left (\frac{(e+f x)^n}{a c x}+\frac{b^2 (e+f x)^n}{a (-b c+a d) (a+b x)}+\frac{d^2 (e+f x)^n}{c (b c-a d) (c+d x)}\right ) \, dx\\ &=\frac{\int \frac{(e+f x)^n}{x} \, dx}{a c}-\frac{b^2 \int \frac{(e+f x)^n}{a+b x} \, dx}{a (b c-a d)}+\frac{d^2 \int \frac{(e+f x)^n}{c+d x} \, dx}{c (b c-a d)}\\ &=\frac{b^2 (e+f x)^{1+n} \, _2F_1\left (1,1+n;2+n;\frac{b (e+f x)}{b e-a f}\right )}{a (b c-a d) (b e-a f) (1+n)}-\frac{d^2 (e+f x)^{1+n} \, _2F_1\left (1,1+n;2+n;\frac{d (e+f x)}{d e-c f}\right )}{c (b c-a d) (d e-c f) (1+n)}-\frac{(e+f x)^{1+n} \, _2F_1\left (1,1+n;2+n;1+\frac{f x}{e}\right )}{a c e (1+n)}\\ \end{align*}
Mathematica [A] time = 0.183661, size = 170, normalized size = 0.97 \[ -\frac{(e+f x)^{n+1} \left (b^2 c e (d e-c f) \, _2F_1\left (1,n+1;n+2;\frac{b (e+f x)}{b e-a f}\right )+(a f-b e) \left (a d^2 e \, _2F_1\left (1,n+1;n+2;\frac{d (e+f x)}{d e-c f}\right )-(b c-a d) (c f-d e) \, _2F_1\left (1,n+1;n+2;\frac{f x}{e}+1\right )\right )\right )}{a c e (n+1) (a d-b c) (a f-b e) (c f-d e)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.052, size = 0, normalized size = 0. \begin{align*} \int{\frac{ \left ( fx+e \right ) ^{n}}{x \left ( bx+a \right ) \left ( dx+c \right ) }}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (f x + e\right )}^{n}}{{\left (b x + a\right )}{\left (d x + c\right )} x}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{{\left (f x + e\right )}^{n}}{b d x^{3} + a c x +{\left (b c + a d\right )} x^{2}}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (f x + e\right )}^{n}}{{\left (b x + a\right )}{\left (d x + c\right )} x}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]